منابع مشابه
T L C S C W S?
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far away planet. Would their mathematics be setbased? What are the alternatives to the set-theoretic foundation of mathematics? Besides, set theory seems to play a significant role in computer science, in particular in database the...
متن کاملT C C S,
We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language.
متن کاملA . Detailed response to Aiken et al . ( 2015 ) pure replication
Results: “For school attendance, re-analysis showed benefits similar to those originally found in intervention schools for both children who did and did not receive deworming drugs. However, after correction of coding errors, there was little evidence of an indirect effect on school attendance amongst children in schools close to intervention schools. Combining these effects gave a total increa...
متن کاملT L C S C
In this paper, we study the game-theoretic and computational repercussions of Henkin’s partially ordered quantifiers [19]. After defining a gametheoretic semantics for these objects, we observe that tuning the parameter of absentmindedness gives rise to quantifier prefixes studied in [28]. In the interest of computation, we characterize the complexity class PNP q in terms of partially ordered q...
متن کاملT L C S C B C
In a computational process, certain entities (for example sets or arrays) and operations on them may be automatically available, for example by being provided by the programming language. We define background classes to formalize this idea, and we study some of their basic properties. The present notion of background class is more general than the one we introduced in an earlier paper, and it t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Auk
سال: 1888
ISSN: 0004-8038,1938-4254
DOI: 10.2307/4067338